extract:

fetch:
	wget http://cesta.sourceforge.net/dot/Dot.g
	wget http://cesta.sourceforge.net/dot/DotTree.g
	mv *.g fetched/
